We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals κ with the property that the collection of all initial segments of the wellordering is definable by a Σ1‐formula with parameter κ. A short argument shows that the existence of a measurable cardinal δ implies that such wellorderings do not exist at δ‐inaccessible cardinals of cofinality not equal to δ and their successors. In contrast, our main result shows (...) that these wellorderings exist at all other uncountable cardinals in the minimal model containing a measurable cardinal. In addition, we show that measurability is the smallest large cardinal property that imposes restrictions on the existence of such wellorderings at uncountable cardinals. Finally, we generalise the above result to the minimal model containing two measurable cardinals. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. Motivated by results of Bagaria, Magidor and Väänänen, we study characterizations of large cardinal properties through reflection principles for classes of structures. More specifically, we aim to characterize notions from the lower end of the large cardinal hierarchy through the principle [math] introduced by Bagaria and Väänänen. Our results isolate a narrow interval in the large cardinal hierarchy that is bounded from below by total indescribability and from (...) above by subtleness, and contains all large cardinals that can be characterized through the validity of the principle [math] for all classes of structures defined by formulas in a fixed level of the Lévy hierarchy. Moreover, it turns out that no property that can be characterized through this principle can provably imply strong inaccessibility. The proofs of these results rely heavily on the notion of shrewd cardinals, introduced by Rathjen in a proof-theoretic context, and embedding characterizations of these cardinals that resembles Magidor’s classical characterization of supercompactness. In addition, we show that several important weak large cardinal properties, like weak inaccessibility, weak Mahloness or weak [math]-indescribability, can be canonically characterized through localized versions of the principle [math]. Finally, the techniques developed in the proofs of these characterizations also allow us to show that Hamkin’s weakly compact embedding property is equivalent to Lévy’s notion of weak [math]-indescribability. (shrink)

Let k be an infinite cardinal. A subset of $(^k k)^n $ is a $\Sigma _1^1 $ -subset if it is the projection p[T] of all cofinal branches through a subtree T of $(lt;kk)^{n + 1} $ of height k. We define $\Sigma _k^1 - ,\Pi _k^1 $ - and $\Delta _k^1$ subsets of $(^k k)^n $ as usual. Given an uncountable regular cardinal k with k = k (...) show that there is a shrink)

We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will allow us to obtain a canonical way in which to assign ideals to many large cardinal notions. This assignment coincides with classical large cardinal ideals whenever such ideals had been defined before. Moreover, in many important cases, relations between these ideals reflect the ordering of the corresponding large cardinal (...) properties both under direct implication and consistency strength. (shrink)

We reexamine some of the classic problems connected with the use of cardinal utility functions in decision theory, and discuss Patrick Suppes's contributions to this field in light of a reinterpretation we propose for these problems. We analytically decompose the doctrine of ordinalism, which only accepts ordinal utility functions, and distinguish between several doctrines of cardinalism, depending on what components of ordinalism they specifically reject. We identify Suppes's doctrine with the major deviation from ordinalism that conceives of utility functions (...) as representing preference differences, while being non- etheless empirically related to choices. We highlight the originality, promises and limits of this choice-based cardinalism. (shrink)

Philippe Roy-Lysencourt | : Dans cet article, Philippe Roy-Lysencourt présente les rapports personnels entre Pie X et son Secrétaire d’État, le cardinal Rafael Merry del Val. Il considère tout d’abord la période qui va de la première rencontre entre les deux hommes jusqu’à la nomination de Merry del Val comme Secrétaire d’État ; il examine ensuite les relations de travail et les relations personnelles entre les deux hommes, avant de relater leur dernière rencontre, au chevet de Pie (...) X, qui illustre d’une façon particulière la profondeur de leur amitié. À partir de sources inédites, Philippe Roy-Lysencourt montre que les relations entre les deux hommes étaient fondées sur une estime, un respect et une admiration réciproques, qu’elles étaient caractérisées par une grande confiance mutuelle et que, finalement, les rapports entre les deux hommes étaient si étroits que l’histoire et l’historien ne peuvent dissocier les noms de Pie X et du cardinal Merry del Val. | : In this article, Philippe Roy-Lysencourt presents the personal relationships between Pius X and his Secretary of State, Cardinal Rafael Merry del Val. He first takes into consideration the period that goes from the first encounter between the two men until Merry del Val’s appointment as Secretary of State ; he then examines the working and personal relations between the two men, before discussing their last encounter, at Pius X’s bedside, which illustrates in a particular way the depth of their friendship. Working from unpublished sources, Philippe Roy-Lysencourt shows that the relationship between the two men was based on a reciprocal esteem, respect and admiration, that it was characterized by great mutual trust, and that finally this relationship was so close that history and the historian cannot dissociate the names of Pius X and Cardinal Merry del Val. (shrink)

Given an uncountable regular cardinal κ, we study the structural properties of the class of all sets of functions from κ to κ that are definable over the structure 〈H,∈〉 by a Σ1-formula with parameters. It is well known that many important statements about these classes are not decided by the axioms of ZFC together with large cardinal axioms. In this paper, we present other canonical extensions of ZFC that provide a strong structure theory for these classes. These (...) axioms are variations of the Maximality Principle introduced by Stavi and Väänänen and later rediscovered by Hamkins. (shrink)

The sense of shared values is a specific aspect of human sociality. It originates from reciprocal social exchanges that include imitation, and empathy, but also negotiation from which meanings, values and norms are eventually constructed with others. Research suggests that this process starts from birth via imitation and mirroring processes that are important foundations of sociality providing a basic sense of social connectedness and mutual acknowledgment with others. From the second month, mirroring, imitative and other contagious responses are bypassed. Neonatal (...) imitation gives way to first signs of reciprocation (primary intersubjectivity), and joint attention in reference to objects (secondary intersubjectivity). We review this development and propose a third level of intersubjectivity, that is the emergence of values that are jointly represented and negotiated with others, as well as the development of an ethical stance accompanying emerging theories of mind from about 4 years of age. We propose that tertiary intersubjectivity is an ontogenetically new process of value negotiation and mutual recognition that are the cardinal trademarks of human sociality. (shrink)

Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by $\mathscr{P}(\omega)/\mathrm{finite}$. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e., there are \emph{no} intermediate models properly between the ground model and the generic extension. The proof relies on combining the rigidity of the tree structure with indiscernibility arguments resulting from the (...) normality of the associated measures. (shrink)

We study closure properties of measurable ultrapowers with respect to Hamkin's notion of freshness and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one direction, a result of Sakai shows that, by collapsing a strongly compact cardinal to become the double successor of a measurable cardinal, it is possible to obtain a model of set theory in which such ultrapowers possess the strongest possible closure properties. (...) In the other direction, we use various square principles to show that measurable ultrapowers of canonical inner models only possess the minimal amount of closure properties. In addition, the techniques developed in the proofs of these results also allow us to derive statements about the consistency strength of the existence of measurable ultrapowers with non-minimal closure properties. (shrink)

Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\fancyscript{L}}$$\end{document} be a finite first-order language and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle{\fancyscript{M}_n} \,|\, {n < \omega}\rangle}$$\end{document} be a sequence of finite \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\fancyscript{L}}$$\end{document}-models containing models of arbitrarily large finite cardinality. If the intersection of less than continuum-many dense open subsets of Cantor Space ω2 is non-empty, then there is a non-principal ultrafilter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\fancyscript{U}}$$\end{document} over ω such that the corresponding ultraproduct \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\prod_\fancyscript{U}\fancyscript{M}_n}$$\end{document} has an automorphism that is not induced by an element of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\prod_{n<\omega}{\rm Aut}(\fancyscript{M}_n)}$$\end{document}. (shrink)

Imitation and mirroring processes are necessary but not sufficient conditions for children to develop human sociality. Human sociality entails more than the equivalence and connectedness of perceptual experiences. It corresponds to the sense of a shared world made of shared values. It originates from complex ‘open’ systems of reciprocation and negotiation, not just imitation and mirroring processes that are by definition ‘closed’ systems. From this premise, we argue that if imitation and mirror processes are important foundations for sociality, human inter-subjectivity (...) develops primarily in reciprocation, not just imitation. Imitation provides a basic sense of social connectedness and mutual acknowledgment of existing with others that are ‘like me.’ However, it does not allow for the co-construction of meanings with others. For human sociality to develop, imitation and mirroring processes need to be supplemented by an open system of reciprocation. Developmental research shows that from the second month, mirroring, imitative, and other contagious emotional responses are by-passed. Imitation gives way to first signs of reciprocation (primary intersubjectivity), joint attention to objects (secondary intersubjectivity), the emergence of values that are jointly represented and negotiated with others (tertiary intersubjectivity), and eventually the development of an ethical stance accompanying theories of mind by 4 years of age. We review this development and propose that if mirroring processes enable individuals to bridge their subjective experiences, human inter-subjectivity proper develops from reciprocal social exchanges that lead to value negotiation and mutual recognition, both cardinal trademarks of human sociality. (shrink)

Le Conseiller d'Etat ou Recueil général de la politique moderne est l'un des grands traités politiques du XVIIe siècle. Son auteur, Philippe de Béthune, diplomate réputé et fin connaisseur de la vie publique, a écrit un livre étonnant de philosophie politique, de stratégie, d'économie et d'urbanisme. Œuvre d 'un homme de cour, habitué à côtoyer les princes, il est le produit de la réflexion et de l'expérience d'un personnage singulier, mais aussi d'une époque insolite de mutation entre deux mondes, (...) - celui de la Renaissance, des guerres de religion et des troubles de la Ligue, et celui de l'absolutisme monarchique et de l'État moderne, - marquée par une transformation profonde des valeurs politiques et morales. Personnalité peu commune, qui a voyagé à travers toute l'Europe, qui par deux fois a été ambassadeur à Rome et qui a bénéficié d'une longévité remarquable, Philippe de Béthune est le frère puîné de Sully Il naît sous Charles IX, commence sa carrière comme mignon, dans l'entourage de Joyeuse, l'archi-favori d'Henri III, sert Henri lV Louis XIII, Richelieu et termine sa vie sous le ministériat de Mazarin. Publié en 1633, avec l'accord du cardinal ministre, Le Conseiller d'Etat n 'a jamais été réédité depuis 1684. Cette nouvelle édition est précédée d'une longue introduction sur l'art politique de la première moitié du XVlle siècle et le paysage mental de l'époque. (shrink)

We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model M of ZFC that is uniquely characterized by some $$\in$$ ∈ -formula. We show that there are interesting statements that hold in all such models, but do not follow from ZFC, such as the ground model axiom and the nonexistence of measurable cardinals. We also study a related concept in which we only require M to (...) be fixed up to elementary equivalence. We show that this theory-canonicity also goes beyond provability in ZFC, but it does not rule out measurable cardinals and it does not fix the size of the continuum. (shrink)

We prove a number of results on the determinacy of σ-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between σ-projective determinacy and the determinacy of certain classes of games of variable length <ω^2 (Theorem 2.4). We then give an elementary proof of the determinacy of σ-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the (...) proof to obtain proofs of the determinacy of σ-projective games of a given countable length and of games with payoff in the smallest σ-algebra containing the projective sets, from corresponding assumptions (Theorem 5.1, Theorem 5.4). (shrink)

We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals and of partial orders: certain notions of distributivity, strategic closure, and precipitousness.

We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa $ for $\kappa $ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of $$\begin{align*}|2^\kappa| = \kappa^{++} + \forall X \subseteq 2^\kappa:\ X \textrm{ is strong measure zero if and only if } |X| \leq \kappa^+. \end{align*}$$ Furthermore, we also investigate the stronger notion of stationary strong measure zero and show that the equivalence (...) of the two notions is undecidable in ZFC. (shrink)

This paper argues that besides mechanistic explanations, there is a kind of explanation that relies upon “topological” properties of systems in order to derive the explanandum as a consequence, and which does not consider mechanisms or causal processes. I first investigate topological explanations in the case of ecological research on the stability of ecosystems. Then I contrast them with mechanistic explanations, thereby distinguishing the kind of realization they involve from the realization relations entailed by mechanistic explanations, and explain how both (...) kinds of explanations may be articulated in practice. The second section, expanding on the case of ecological stability, considers the phenomenon of robustness at all levels of the biological hierarchy in order to show that topological explanations are indeed pervasive there. Reasons are suggested for this, in which “neutral network” explanations are singled out as a form of topological explanation that spans across many levels. Finally, I appeal to the distinction of explanatory regimes to cast light on a controversy in philosophy of biology, the issue of contingence in evolution, which is shown to essentially involve issues about realization. (shrink)

A collection of essays investigating key historical and scientific questions relating to the concept of natural purpose in Kant's philosophy of biology.

In lieu of an abstract, here is a brief excerpt of the content:Preface: Virtual Entities in ScienceRobert Harlander, Jean-Philippe Martinez, Friedrich Steinle, and Adrian WüthrichIt is not only since the sudden increase of online communication due to the COVID-19 situation that the concept of the “virtual” has made its way into everyday language. In this context, it mostly denotes a digital substitute for a real object or process. Virtual reality is perhaps the best-known term in this respect. With these (...) digital connotations, “virtuality” has also been used in science and research: Chemists use virtual laboratories, biologists do virtual scanning of molecular structures, and geologists engage in virtual field trips. But the concept of the virtual has a much longer tradition, dating back to long before the dawn of the digital age. Virtual images and virtual displacements were introduced in classical physics already in the late seventeenth and eighteenth centuries, respectively. They represent auxiliary objects or processes without instantiation, with the purpose of efficiently describing specific physical systems. In today’s physics, the term “virtual” is mostly associated with the quantum world, first and foremost with the “virtual particle” of quantum field theory. It has become such an integral part of modern high energy physics that its ontological character may be considered to go beyond the purely auxiliary, which is typically associated with the virtual. [End Page 263]In other disciplines, however, use of the term virtual without a digital connotation is much rarer. While concepts like “virtual adrenaline” show up in physiological research around 1940s, and Charles Darwin, in a private note in January 1840,1 spoke of “virtual change” in the context of embryology, these examples seem to be singular occurrences of entities that were explicitly called “virtual.” The basic idea behind the terminology of the virtual, however, might be much more common, even outside of physics. The “invisible hand” in economics, or the “vital force” in biology, for instance, may carry aspects of a virtual entity, even if they have not been referred to that way.These different observations raise several questions about the status of virtual entities in science. What has led scientists to call one entity “virtual” and not another? Do all virtual entities in science have the same roots and meet the same characteristics? Are they more than auxiliary objects or processes? Why does physics seem to occupy a specific position with respect to the use of the notion of virtuality? These are some points that led us to discuss virtual entities in science during a workshop, out of which grew the present collection. We invited contributions that addressed the historical formation and philosophical interpretation of concepts of virtual entities in physics and other disciplines—in whatever terms they may come. The main goal of the workshop was to bring to the fore similarities and differences in the meanings and functions of these concepts, so as to be able to precisely characterize why certain entities are considered virtual in specific contexts, why a different terminology was often used in each individual case, and in what sense the virtual entities relate to the real world.The organization of the workshop was part of our project “The formation and development of the concept of virtual particles,” a subproject of the Research Unit “The Epistemology of the Large Hadron Collider,” funded by the Deutsche Forschungsgemeinschaft (DFG) and Der Wissenschaftsfonds (FWF). The workshop took place online on four consecutive Fridays in March 2021. It brought together contributors who discussed the role of the concept of the virtual in theoretical as well as experimental activities, and investigated into the origins of the terminology of the virtual as it was applied to the various disciplines of natural science. Dealing with historical, philosophical, but also methodological questions, the presentations covered a wide time range, from the Middle Ages to the present day. While physics naturally emerged as the dominant field, natural philosophy, computer science and biology were also addressed. The papers in this volume were contributed by participants in this workshop and approach the subject from different angles. [End Page 264]First, Friedrich Steinle provides us with an introductory piece that reflects on the specific meaning of the use of the term ‘virtual’ in science. He highlights and... (shrink)

In abstract argumentation, each argument is regarded as atomic. There is no internal structure to an argument. Also, there is no specification of what is an argument or an attack. They are assumed to be given. This abstract perspective provides many advantages for studying the nature of argumentation, but it does not cover all our needs for understanding argumentation or for building tools for supporting or undertaking argumentation. If we want a more detailed formalization of arguments than is available with (...) abstract argumentation, we can turn to structured argumentation, which is the topic of this special issue of Argument and Computation. In structured argumentation, we assume a formal language for representing knowledge and specifying how arguments and counterarguments can be constructed from that knowledge. An argument is then said to be structured in the sense that normally, the premises and claim of the argument are made explicit, and the relationship between the premises and claim is formally defined (for instance, using logical entailment). In this introduction, we provide a brief overview of the approaches covered in this special issue on structured argumentation. (shrink)

Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.

Popper's well-known demarcation criterion has often been understood to distinguish statements of empirical science according to their logical form. Implicit in this interpretation of Popper's philosophy is the belief that when the universe of discourse of the empirical scientist is infinite, empirical universal sentences are falsifiable but not verifiable, whereas the converse holds for existential sentences. A remarkable elaboration of this belief is to be found in Watkins's early work on the statements he calls “all-and-some,” such as: “For every metal (...) there is a melting point.” All-and-some statements are both universally and existentially quantified in that order. Watkins argued that AS should be regarded as both nonfalsifiable and nonverifiable, for they partake in the logical fate of both universal and existential statements. This claim is subject to the proviso that the bound variables are “uncircumscribed” ; i.e., that the universe of discourse is infinite. (shrink)

Our intuitive assumption that only organisms are the real individuals in the natural world is at odds with developments in cell biology, ecology, genetics, evolutionary biology, and other fields. Although organisms have served for centuries as nature's paradigmatic individuals, science suggests that organisms are only one of the many ways in which the natural world could be organized. When living beings work together--as in ant colonies, beehives, and bacteria-metazoan symbiosis--new collective individuals can emerge. In this book, leading scholars consider the (...) biological and philosophical implications of the emergence of these new collective individuals from associations of living beings. The topics they consider range from metaphysical issues to biological research on natural selection, sociobiology, and symbiosis. (shrink)

We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators (...) is NP-complete in the single-agent case, and is NEXPTIME-complete in the multiagent case, both for the deliberative and Chellas’s STIT. (shrink)

Corporate social responsibility (CSR) has repeatedly been described as an “essentially contested concept,” which means that its signification is subject to continuous struggle. We argue that the “CSR institution” (CSRI; i.e., the set of standards and rules regulating corporate conduct under the banner of CSR) is legitimized by narratives which “decontest” the underlying concept of CSR in a manner that safeguards the CSRI from calls for alternative institutional arrangements. Examining several such narratives from a structuralist perspective, we find them to (...) be permeated with six recurrent ambiguities that we show to be reflective of three deep-set taboos: the taboo of the noncongruency between corporate profit objectives and societal needs, the taboo of multinational firms’ continued contribution to the emergence of global socioenvironmental issues, and the taboo of the CSRI’s moderate results in solving these problems. We contend that the perpetuation of these taboos contributes to inhibiting substantial change in the way of doing business, and we sketch out possibilities for initiating a “recontestation” of CSR’s meaning. (shrink)

Philippe Descola has become one of the most important anthropologists working today, and Beyond Nature and Culture has been a major influence in European intellectual life since its French publication in 2005. Here, finally, it is brought to English-language readers. At its heart is a question central to both anthropology and philosophy: what is the relationship between nature and culture? Culture—as a collective human making, of art, language, and so forth—is often seen as essentially different from nature, which is (...) portrayed as a collective of the nonhuman world, of plants, animals, geology, and natural forces. Descola shows this essential difference to be, however, not only a specifically Western notion, but also a very recent one. Drawing on ethnographic examples from around the world and theoretical understandings from cognitive science, structural analysis, and phenomenology, he formulates a sophisticated new framework, the “four ontologies”— animism, totemism, naturalism, and analogism—to account for all the ways we relate ourselves to nature. By thinking beyond nature and culture as a simple dichotomy, Descola offers nothing short of a fundamental reformulation by which anthropologists and philosophers can see the world afresh. (shrink)

Since its origin in the early 20th century, the modern synthesis theory of evolution has grown to represent the orthodox view on the process of organic evolution. It is a powerful and successful theory. Its defining features include the prominence it accords to genes in the explanation of development and inheritance, and the role of natural selection as the cause of adaptation. Since the advent of the 21st century, however, the modern synthesis has been subject to repeated and sustained challenges. (...) In the last two decades, evolutionary biology has witnessed unprecedented growth in the understanding of those processes that underwrite the development of organisms and the inheritance of characters. The empirical advances usher in challenges to the conceptual foundations of evolutionary theory. Many current commentators charge that the new biology of the 21st century calls for a revision, extension, or wholesale rejection of the modern synthesis theory of evolution. Defenders of the modern synthesis maintain that the theory can accommodate the exciting new advances in biology, without forfeiting its central precepts. The original essays collected in this volume—by evolutionary biologists, philosophers of science, and historians of biology—survey and assess the various challenges to the modern synthesis arising from the new biology of the 21st century. Taken together, the essays cover a spectrum of views, from those that contend that the modern synthesis can rise to the challenges of the new biology, with little or no revision required, to those that call for the abandonment of the modern synthesis. (shrink)

The paper analyses economic evaluations by distinguishing evaluative statements from actual value judgments. From this basis, it compares four solutions to the value neutrality problem in economics. After rebutting the strong theses about neutrality (normative economics is illegitimate) and non-neutrality (the social sciences are value-impregnated), the paper settles the case between the weak neutrality thesis (common in welfare economics) and a novel, weak non-neutrality thesis that extends the realm of normative economics more widely than the other weak thesis does.

The problem of generation has been, for Kant scholars, a kind of test of Kant's successive concepts of finality. Although he deplores the absence of a naturalistic account of purposiveness (and hence of reproduction) in his pre-critical writings, in the First Critique he nevertheless presents a "reductionist" view of finality in the Transcendental Dialectic's Appendices. This finality can be used only as a language, extended to the whole of nature, but which must be filled with mechanistic explanations. Therefore, in 1781, (...) mechanism and teleology are synonymous languages. Despite the differences between its two authors, the Wolffian embryology, exposed in the Theorie der Generation (1764), and debated by Blumenbach's dissertation on Bildungstrieb, enabled Kant to resolve the philosophical problem of natural generation, and subsequently to determine what is proper to the explanation of living processes. Thus, in the Third Critique he could give another account of purposiveness, restricted to the organism, and more realistic than his former one; this philosophical reappraisal of purposiveness in embryology required the new concept of "simply reflexive judgement", and the correlated notion of "regulative principle". Thus framed, this naturalized teleology provided some answers to the Kantian problem of order and contingency after the end of classical (Leibnizian) metaphysics. (shrink)

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...) operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. (shrink)

In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.

The problem of unification in a normal modal logic $L$ can be defined as follows: given a formula $\varphi$, determine whether there exists a substitution $\sigma$ such that $\sigma $ is in $L$. In this paper, we prove that for several non-symmetric non-transitive modal logics, there exists unifiable formulas that possess no minimal complete set of unifiers.

Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.

The objective of this article is to propose a precise characterization of the collective practice behind at least an important part of the phenomena named “decision by consensus”. First, I provide descriptions of the use of this rule, and give a definition of the non-opposition rule, both as a specific sequence of acts and as a stopping rule. Second, I challenge the usual way of understanding the non-opposition rule by contrast with voting, stating that the contrast between logic of approval (...) and logic of consent also has to be taken into account. Third, I examine the conditions of its use. The non-opposition rule satisfies groups whose concern is to decide without dividing. Finally, from the analytic benefit of opening up decision by consensus as the use of the non-opposition rule, I will examine, in a fourth part, whether consensus in decision-making is as democratic a procedure as is sometimes thought. (shrink)

We introduce non-associative linear logic, which may be seen as the classical version of the non-associative Lambek calculus. We define its sequent calculus, its theory of proof-nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polynomial.

This is the outline: 1. Introduction : organicisme et personnalisme 2. Un effort pour philosopher sur tout 3. La théologie et la question de l’infra-substantiel 3.1 Un schème de pensée qui pose problème 3.2 Le statut de l’immortalité 4. Substance, personne et cosmos.